and additive inverse